Dialectic proof procedures for assumption-based, admissible argumentation 3 February 2005 P.M. Dung Division of Computer Science, Asian Institute of Technology PO Box 2754, Bangkok 10501, Thailand

Source URL: www.doc.ic.ac.uk

• Deduction
• Critical thinking
• Reasoning
• Argumentation theory
• Argument
• Inference
• Modus ponens
• Rule of inference
• Entailment
• Logic
• Arguments
• Logical consequence

A Scalable Distributed Algorithm for Shape Transformation in Multi-Robot Systems Ramprasad Ravichandran1 , Geoffrey Gordon2 , Seth Copen Goldstein3 Institute, 2 Machine Learning Department, 3 Computer Science Department

Source URL: www.cs.cmu.edu

• Stability
• Algorithm
• Lyapunov stability
• Mathematics
• Applied mathematics
• Logic
• Estimation theory
• Estimator
• Statistical inference

Model Checking Operator Procedures Wenhui Zhang Institute for Energy Technology, P.O.Box 173, N-1751 Halden, Norway [removed] Abstract. Operator procedures are documents telling operators what

Source URL: spinroot.com

• Formal methods
• Applied mathematics
• Logic in computer science
• Concurrency
• Concurrent computing
• Model checking
• Formal verification
• Promela
• Verification and validation
• Computing
• Theoretical computer science
• Model checkers

Combining Two Formalism for Reasoning about Concepts? (extended abstract) N.V. Shilov, N.O. Garanina, and I.S. Anureev A.P. Ershov Institute of Informatics Systems, Lavren’ev av., 6, Novosibirsk[removed], Russia,

Source URL: www.ceur-ws.org

• Formal languages
• Metalogic
• Non-classical logic
• Model theory
• Modal logic
• Description logic
• Interpretation
• Function
• Finitary relation
• Logic
• Mathematics
• Mathematical logic

Inverse Roles Make Conjunctive Queries Hard Carsten Lutz Institute for Theoretical Computer Science, TU Dresden, Germany [removed] Abstract. Conjunctive query answering is an important DL reasoning task

Source URL: www.ceur-ws.org

• Structure
• FO
• Logic
• Conjunctive query
• Database theory
• Mathematics

From Number Guessing Games to Security Protocol Analysis

Source URL: homepages.cwi.nl

• Mathematical logic
• Computer network security
• Secure communication
• Astronomers
• Christiaan Huygens
• Kripke semantics
• Institute for Logic
• Language and Computation
• Huygens
• Computer security
• Logic
• Science
• Mathematics

Closed Non-Derivable Itemsets Juho Muhonen and Hannu Toivonen? Helsinki Institute for Information Technology

Source URL: www.cs.helsinki.fi

• Mathematics
• Mereology
• Closure
• Support
• Information
• Logic
• Data mining
• Association rule learning
• Data management

Institute for Research in Cognitive Science First Order Logic, Fixed Point Logic and

Source URL: www.haverford.edu

Curriculum vitae of Jan van Eijck Name Jan van Eijck, initials D.J.N. (Dingeman Johannes Norbertus), born 6 September 1951 in The Netherlands. Nationality: Dutch

Source URL: homepages.cwi.nl

• Semantics
• Game theory
• Computational semantics
• Natural language processing
• Johan van Benthem
• Institute for Logic
• Language and Computation
• Social software
• Maarten de Rijke
• University of Groningen
• Science
• Academia
• Logic

LAWRENCE S. MOSS Department of Mathematics Indiana University

Source URL: www.indiana.edu

• Science
• Academic conferences
• Abstraction
• Axiology
• Institute for Logic
• Language and Computation
• Modal logic
• Mathematical logic
• F-coalgebra
• European Summer School in Logic
• Language and Information
• Logic
• Philosophical logic
• Academia